Teams as types: Authorization in groupware revisited
نویسندگان
چکیده
We present a generic framework called LOGOS that may serve as a formal basis for investigations of authorization issues in groupware systems. LOGOS has been formulized within HOL a well-known higher-order logic, which is supported by a number of wide-spread theorem provers as e.g. Isabelle/HOL.
منابع مشابه
Simonsen and Pors Conditions for Change Related to Groupware Conditions for Change Related to Groupware in a Distributed Organization – a Case Study
Groupware is often used in distributed organizations to support communication and coordination. Managers direct resources and set up goals for the deployment of groupware. It is however difficult to foresee the effect of groupware and many cases report that groupware is either hardly used or does not produce the intended effects. We have analyzed the deployment and use of the web-based groupwar...
متن کاملTeams of Practice: Interdependent Conditions for Integrating Groupware in Collaborative Practice within Virtual Teams
In this paper we investigate collaboration within global virtual project teams. Our objective is to understand the practice of virtual teams to determine conditions needed in order to integrate groupware in such a context. The research question explored is: What are the conditions for integrating groupware technology in collaborative practice within virtual teams? Investigating this question we...
متن کاملAwareness { The Common Link Between Groupware and Communityware
Due to the proliferation of computer networks the electronic support of geographically distributed groups has become increasingly important. With respect to groups we can distinguish between teams and communities. In general, team members know each other and collaborate to achieve a common goal while community members have just common interests or preferences. Often there is no personal contact...
متن کاملThe Role of Social Awareness in Technology Acceptance of Groupware in Virtual Learning Teams
IT is everywhere and the need for Groupware support of collaborative learning between geographically distributed students working in teams arises. In this paper we focus on the technology acceptance of Groupware in virtual learning teams in part-time adult education. We apply Davis’ Technology Acceptance Model (TAM) in a qualitative fashion to analyze and interpret the chronological sequence of...
متن کاملConditions for change related to groupware in a distributed organization - a case study
Groupware is often used in distributed organizations to support communication and coordination. Managers direct resources and set up goals for the deployment of groupware. It is however difficult to foresee the effect of groupware and many cases report that groupware is either hardly used or does not produce the intended effects. We have analyzed the deployment and use of the web-based groupwar...
متن کامل